Kashifı¯'sAsra¯r-i Qa¯simı¯and Timurid magic

I-10: QA in The ART Laboratory

The establishment of a high quality ART program requires a multi-disciplinary effort, involvement and commitment of all staff members - team work. It is of vital importance that all aspects of the treatments are taken into consideration and that you already from the start use international guidelines, standards and indicators to initiate the construction of a well-organised ART program that mee...

It’s Not Magic: I Can Prove It

Our work presents a new approach to developing, analyzing, and proving correctness of programs intended for execution on a quantum computer. We provide tools to write quantum as well as classical specifications, develop quantum and classical solutions for them, and analyses various properties of quantum specifications and quantum programs, such as implementability, time and space complexity, an...

Qa@l2f@qa@clef

This paper introduces L2F’s (INESC-ID) question/answering system and presents its results in the QA@CLEF07 evaluation task. QA@LF bases its performance on a high-quality deep linguistic analysis of the question, which is strongly based on named entity recognition. However, if a precise analysis is not possible or if no answer is found in previous processed data, the system is also capable of re...

A Flexible High Demand Storage System for MAGIC-I and MAGIC-II using GFS

MAGIC is currently the Imaging Cherenkov Telescope with the worldwide largest reflector currently in operation. The initially achieved low trigger threshold of 60 GeV has been further reduced by means of a novel trigger that allows the telescope to record gamma ray showers down to 25 GeV. The high trigger rate combined with the 2 GHz signal sampling rate results in large data volumes that can r...

Implications of the ACT-R Learning Theory: No Magic Bullets